Function bytecode::verification_analysis::is_invariant_checking_disabled

pub fn is_invariant_checking_disabled(fun_env: &FunctionEnv<'_>) -> bool