nir/range-analysis: Add a lot more assertions about the contents of tables