The rewrite for the Execute guide should explicitly clarify the difference between `leo execute` and `leo run`