Precision Physics with $B^0_s \to J/\psi \phi$ at the LHC: The Quest for New Physics