We can probably be smarter about the verification by batching common lengths together. Might not be worth it though because we would fail slower.