remove reference to bootstrapProofs in oneshotProofs
fix oneshotProofScript.sml

it is sensitive to the number of declarations, which has changed. I
could make the proof less sensitive perhaps...