Various important bugfixes and a measurement script #41

All 22 tests pass in 10s

  3 files ±0   3 suites ±0 10s ⏱️ +2s
22 tests ±0 22 ✔️ ±0 0 💤 ±0 0 ❌ ±0
66 runs ±0 66 ✔️ ±0 0 💤 ±0 0 ❌ ±0

Results for commit da5e5b1. ± Comparison against earlier commit a09b0a9.