- Use oracle transparent state everywhere during unification, properly
honoring the [Opaque] flag.
- In btauto/Algebra, this breaks a script relying on unfolding of decide
during apply, where decide was declared opaque.
Same in QArith/Qcanon with Qed.