Verifier: Avoid quadratic checking of aggregates for bad bitcasts