fix sideTheory on Word8Array
update ml_repl_moduleTheory for Word8Array
delete (presuming unused) oneshotTheory