Add a benefits/trade-offs document and a GitHub Actions CI workflow for build + test on every push/PR.