Bayesian Algorithm Execution