TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks