Revert "[sanitize] Simplify(?) check_range" This reverts commit af0b1ef8a72d4f6b778dbba3606ebe7df39d5288.