fix(library/tools/tactic): 'cases' argument precedence
feat(library/tactic): add 'assert' tactic, closes #349
feat(library/tactic): add 'assert' tactic, closes #349