run.sh: look harder for python binary and exit on failure

The addition of virtualenv a few commits ago made things less than smooth for people not using virtualenv. This remedies that.