I do downvote people who appear to be completely mind-killed
I think your mindkill detection algorithms need some tuning; they have both false positives and false negatives.
Rather [...] with reasonable running time
I know of no credible way to do it with unreasonable running time either. (Unless you count saying "AIXI can solve any solvable problem, in principle, so use AIXI", but I see no reason to think that this leads you to a solution with low Kolmogorov complexity.)
I don't think your argument from superintelligent AI works; exactly where it fails depends on some details you haven't specified, but the trouble is some combination of the following.
Another month, another rationality quotes thread. The rules are: