As a fellow programmer, I'm curious about your experience with retrofitting a bunch of non-testable code with tests after adding the invariants for inventory items. Did you already have pretty good code coverage on that area?

Assert all the things!