> I can literally specify a huge mega-algorithm that just searches over all possible Turing machines and evaluates them

Then why don't you ? and did you mean all or those that halt ? I presume you have a way of separating those.