Differential Fuzzing of Bitcoin implementations