Add static assert for the modulus value (!= 0). Complete the check digit doc with documentation on the modulus and the modulus_inv.