Add support for Thera

https://github.com/prs-eth/thera has promising results, but is effectively Linux-only due to their usage of Jax. Getting it running on Windows would require a near-total rewrite. Perhaps this library would have an easier time porting it over due to all the existing infrastructure.