Function check_invariants

Source
fn check_invariants(constants: &ConsensusConstantsChecked)