Added a couple more changes.
Optimize quaternion algebras in Magma (quite a hack).