improve twin prime approximations
Add PP requirement for benchmark
Better AKS testing, change to znorder from naive order