Define `iAssert` using `iSpecialize`.

This made the definition much simpler, and provides support for all
specialization patterns (although most are not very useful in
combination with `iAssert`).
2 jobs for gen_proofmode in 10 minutes and 50 seconds (queued for 2 seconds)