Clean up some instruction definitions to have the correct attributes.
Fix a bug whereby a lack of implicit kill of $at could cause instructions to be incorrectly reordered.