[Lang] Add a test case involving bit-vector concatenation

Right now our DSL has a bit vector concatenation operator, but it seems none of our example `.prot` files use it. It'd be helpful if we had an example protocol that used this operator (just to make sure its implemented properly)