Probabilistic Evolution and the Busy Beaver Problem