Decompile multiple wasm key checker binaries into C and statically solve for keys with z3

Original writeup (https://imp.ress.me/blog/2023-04-03/hack-a-sat-4#as-below).