Fix *U*Int64 parsing, add hardcore mode to ledger verifier.