Efficiently Testable Circuits