Dissecting Hard Forks and Quadratic Voting