Specification testing in models with many instruments