Fix 32-bit shift disassembly
Fix temp disable of crankshaft, so that the --crankshaft option works.