Bitcoin Script is intentionally small because it isn't trying to compute the world. It checks whether a witness satisfies a set of spending constraints. That's a verification language, not a virtual machine. In trustless systems, constraints beat computation.