If the language is unreadable for humans, we really can't trust that it does what it claims to do, except by testing. This requires more trust in the system than is warranted IMO. You can never be sure that there's no "sleeper" logic waiting to get activated. See "Reflections on Trusting Trust" by Ken Thompson. If we build systems that start relying on opaque mechanisms, it seems to be only a matter of time before things start behaving in ways contrary to what their authors intended, with no clear way to stop it other than hitting the power button, if that's even possible at that point.