arxiv-2604.08633-icepick-glacier.md Systematic API testing through model checking + executable contracts