fix proof in multiwordScript.sml

broken by new EVAL behavior for LENGTH (aeb5670)