Improvements to Lucas-sequence modular square roots and primality testing | AIChainDay