Update testcheck.py, typo error
Update killqemu.sh, no longer kill tee
Improve testcheck.py.
Fixes outdated arm_core_context memory footprint

Error was obfuscated using the arm-none-eabi-gcc due to the packaging of
3 4bit enums into a single word. workspace alloc was overflowing when
4bit values were (also correct) stored as 32bit.