Rigorous bounds on energy dissipation in turbulent shear flow