Fix typo in protocol_spec.js
Add tests about messages in protocol spec