SIMT-Step Execution: A Flexible Operational Semantics for GPU Subgroup Behavior