FlashProve prevents AI providers from swapping in cheaper models to cut costs or using more expensive models to inflate benchmark performance