Deakstadieđáhus: Accelerating invariant generation