The hard fork had a lot more to do with the fact the overall community didn't thought the system would survive the eventual switch to proof of stake if 15% of all ether was in the hands of malicious actor. There was also the moral matter that something could indeed be done to actually return the stolen money to their original owners, there was consensus to do the fork and so the fork happened.