A Big Vulnerable Bug in Bitcoin Software Could Have Indeed Crashed the Currency