Sequential Experiment Design for Hypothesis Verification