use MEM_LUPDATE_E and REVERSE_11 from HOL stdLib

replaces two theorems in miscTheory
fix bytecodeEvalTheory proof

don't know why it broke