Nope! Compact doesn't (and would not) reorder the assertions. It wouldn't be able to do that because the subsequent ones are dependent on the previous ones succeeding (it's essentially "control dependency" and it prevents the instructions from being reordered).