Forks suaves do Bitcoin, forks duros