Lets us deduplicate the asserts and put them in one spot. We can also improve the assert message to also indicate the valid range. While we're in the area, we can collapse a few case paths as a result of this assert movement.