Post-Mortem Report: Pike Contract Upgrade Vulnerability