A Computational Non-commutative Geometry Program for Disordered Topological Insulators