Known bugs in Big Ree group package
-----------------------------------

- Non-explicit membership testing only checks that the element is in F4.