Compare Environment types against the node

[SkymanOne]

Summary

Closes #1167

• [n] y/n | Does it introduce breaking changes?
• [y] y/n | Is it dependent on the specific version of ink or pallet-contracts - ink! 5.0.0-alpha & polkadot-1.2.0 ?

Introduces check for a type match between the contract environment and the target node.

Description

This PR allows checking environmental type match before execution call, upload and instantiate including dry-running.

Checklist before requesting a review

• My code follows the style guidelines of this project
• I have added an entry to CHANGELOG.md
• I have commented my code, particularly in hard-to-understand areas
• I have added tests that prove my fix is effective or that my feature works
• Any dependent changes have been merged and published in downstream modules

[ascjones]

LGTM, Just a question of whether we should warn instead of error in the case below.