Engineering and verifying requirements for programmable self-assembling nanomachines