Towards precision constraints on gravity with the Effective Field Theory of Large-Scale Structure | Synapse