some x86_64 stack lemmas
x64 for multiword integer division verified
adding more files to selftest 3