How operation verifiers catch invalid floating-point attributes at compiler pass boundaries before they reach the runtime.