Message Validation in Spec

[MatheusFranco99]

Since Message Validation has become a vital part of node security, we should add an interface for it in spec. Particularly, it should explicit what the ValidateSignedSSVMessage function should do.