For the combinational-logic of my state-machine, if I use an always @*, Xilinx XST erroneously optimizes/removes the logic, and then rips out any downstream load-logic.
reg [6:0] s_instr_category;
// The "BAD" state-machine always @* begin : state_machine //