Fix sluggish validation of AES increment for common cases
Add Monty math for Frob-Underwood, AES Lucas, and one case for standard Lucas
Divisor sum with integer second arg