cw4: Woo whitespace!
cw4: Report writing
cw4: Remove superfluous testbench code
cw4/stdlib: Tiny style fixups
cw4/guide: Tidy up and fix wording
cw4/assembler/client: Fix access to undefined
cw4/guide: Indentation fixes
cw4/report: Last minute proof fixups