Numerous changes have been made to Bitcoin over the years; should any of them be considered hard forks?