Computer Aided Verification of the Quantum Security Proof of HAWK