CodeMax: Full-Stack API Contract Analysis & Audits