CI Tests: Why We Moved to AWS Spot Instances

We failed with Kubernetes, and then switched to Lambdas.