Add x86_64 asm for addmod from Kruppa
Add more limitations on __int128 use
Add proof documentation to TODO list