Robust and Secure Code Watermarking for Large Language Models via ML/Crypto Codesign