[eximius]

Unsafe blocks are typically as small as necessary, so the burden is small to perform extensive manual verification