The current unit tests are high-level, cumbersome and time-consuming to run
(and can never give 100% coverage). Formal correctness proofs are needed
which at least cover the low-level components, and move up to the higher
levels - if practical.
make sure this is not lost. james, thank you, i think this went to spam for most people