Faster npx convex dev / deploy

Deployment pushes are faster, especially for larger codebases.