fix a couple small proofs in x64_decoderScript.sml

also broken by 5203fc450