What would it take to build a thermodynamically reversible Universal Turing machine? Computational and thermodynamic constraints in a molecular design