Describir: Improving Performance and Correctness of Database-Backed Web Applications