start adding tests for prime field inverse