Add and export CURRENT-INSTRUCTION helper. Assorted cleanups.
Finish automating Klaus' test-suite. We pass with flying colors!