Feasible -- Correcting and Improving the NP Proof for Cryptographic Protocol Insecurity