First pass of correctness work

• integration test suite for standard write, read & write+read paths
• dedicated tests for all..
  • ..features
  • ..documented edge cases
  • ..special paths resulting from optimizations
  • ..assertions
  • ..errors & illegal state
  • etc

Hot take: untested data code is buggy data code until proven otherwise.