some cleanup of toBytecodeProofsScript.sml

just moving things around; haven't tried speeding up or shortening
proofs yet.