chore(library/hott/trunc): remove `set_option`
fix(library/tactic/inversion_tactic): complete 'deletion' transition