Even with blue-green deployments and a separate AMP solution, it's unlikely that they did a during-business-hours release just to prevent paywall workarounds for a tiny subset of their pageviews.
But by observation, it did change during that timeframe. Possibly they simply updated their AMP solution to better consistency with their non-AMP delivery, and this happened to be the effect we saw.