fix(library/tactic): add relax_main_opaque flag to proof_state objects, closes #274
fix(library/tactic): add relax_main_opaque flag to proof_state objects, closes #274