Validate built-in execution equivalence verification

Validate built-in execution equivalence verification

Usage

validate_phase9_builtin_verification(x)

Arguments

x

Candidate verification record.

Value

`x`, invisibly, when valid.