Remove remainder of `Abort`s in test-suite Nia.v

Note that we define a `cleanup` tactic which is essential for speed of
reasoning.  Perhaps this tactic should make it into the code for
`Z.div_mod_to_quot_rem` somewhere?

```coq
Ltac cleanup :=
  repeat match goal with
         | [ H : ?T -> _, H' : ?T |- _ ] => specialize (H H')
         | [ H : ?T -> _, H' : ~?T |- _ ] => clear H
         | [ H : ~?T -> _, H' : ?T |- _ ] => clear H
         | [ H : 0 < ?x -> _, H' : ?x < 0 |- _ ] => clear H
         | [ H : ?x < 0 -> _, H' : 0 < ?x |- _ ] => clear H
         | _ => progress subst
         end.
```

0 files changed, 0 insertions, 0 deletions