pub fn validate(lowered: &Lowered<'_>) -> Result<(), ValidationError>
Validates that the lowering structure is valid.
Currently only does basic SSA validations.