Add support and example of a synchronous message provider verification using a plugin (gRPC example)

[mefellows]

“Add support” means adding DSL methods that call the underlying Rust functionality.

“Add example” means create an example Python project that showcases using the functionality.