Fix: Was checking wrong BigInt variable and loading a second backend.
Primality verification (needs documentation)