Designing/engineering functional proteins from scratch is feasible but would take a ridiculous amount of work. Michael Hecht is one person I know of who has done this (example: < J Craig Venter wants to determine the minimal set of molecular machines required for life, regardless of their origin. This would begin to illuminate which protein functions are absolutely required for life. I believe we could design and engineer proteins _de novo_ to perform all of those functions in theory, but in practice it would be unrealistic. I think the key point to glean from their synthetic cell is the set of functions, not specific genes, required for life. Those functions could be performed by evolved or synthetic molecules.
As a side note, while I believe that to be the overarching goal, they do note the surprising _lack_ of functional characterization in the syn3.0 genome.