Farrell: Reliably Accurate State Estimation for Connected and Autonomous Highway Vehicles