input from stdin functionality for `exec-lotus` ; initial test suites in ci

[nonsense]

This PR is adding:

• adding validation for post root cid in exec-lotus
• stdin input functionality for exec-lotus, so that we can pipe the output of tvx suite-messages (and other generators) to it.
• commenting out 2 tests from the messages test suite as they are failing.
• adding a job to CircleCI that will pipe the generated text vectors to the executor and validate them.
• temporarily disable lotus-soup build job on CircleCI - no need to wait for it on every build, as noone is really working on it right now.

---

Apparently there are 2 tests broken in the messages suite - not sure just yet if I copied them incorrectly, or what exactly is going on.