Create extension trait for verifier messages with proof of work

[mmaker]

Similarly to VerifierState::verifier_message, create a trait DecodingPOW<T, S> that has a function:

pub fn verifier_message_pow<T: Decoding<[H::U]>,  S: PoWStrategy>(&mut self, difficulty: usize) -> T