fix a proof in hol_verificationScript.sml

broken by some change in how case-expressions work on string literals.
tried to make the new script more robust by using EVERY_CASE_TAC instead
of specifying what to case-split on.