Check freezing limit more thoroughly

[mraszyk]

This PR makes the following changes:

• model compute and memory allocation and canister's memory usage in the formal semantics
• model subnet size in the formal semantics
• inspect_message is not invoked on frozen canisters (similarly to query calls)
• freezing limit is checked when creating and installing canisters and changing their settings

Closes #184

[netlify]

✅ Deploy Preview for ic-interface-spec ready!

Name	Link
🔨 Latest commit	5d0f121
🔍 Latest deploy log	https://app.netlify.com/sites/ic-interface-spec/deploys/64e33eb8dfcf72000840017c
😎 Deploy Preview	https://deploy-preview-221--ic-interface-spec.netlify.app
📱 Preview on mobile	Toggle QR Code... Use your smartphone camera to open QR code link.

---

To edit notification comments on pull requests, go to your Netlify site configuration.