I would say a cleaver to the back of the neck where the head and body meet. Less gory I would think and would do the same thing.
Knocking him out with CO2 or N20 first would be better though.
I mean you could just let them go in the wild....
Its NEVER a good idea to release any reptile in the wild! Its ideas like this that might cause us to lose our reptiles