In addition, can we keep the old assertions and verify them agains a converted `PGRange -> Range`? This should help us to see where we changed behavior.