Statistical investigations into the geometry and homology of random programs