Implement BinaryAdd to add two binary numbers together. The numbers should not be translated out of binary at any point.

Note the two inputs will always have the same length.