Update some benchmarks and examples
Code comments about primality testing and the non-exported F-U test