I just don't think we need turing completeness to solve the problems we try to solve with software. You bring up how humans can reason and prove correctness for our programs, but I say we just force them to do that (making our programs no longer turing complete). I don't think I've ever encountered a problem that required steps that I didn't think I would be able to prove halted.