Added assertions against known results.
Better comments.
Now uses EulerLong's primes Stream.