foxdec-0.1.0.0: Formally Verified x86-64 Decompilation