Added S to preconditions, fixed highlighter

Updated highlighter to include registers and the S bit, fixed clearing
the CSMux and S bit, updated the precondition for fig1205