core: prove contract notifications count is not restricted #1526

Job	Run time
Check code generated with 'go generate' is up-to-date	46s
CodeQL (go)	3m 31s
Check internal dependencies	12s
Coverage	7m 40s
Run tests (ubuntu-22.04, 1.22)	7m 26s
Run tests (windows-2022, 1.23)	21m 40s
Run tests (macos-12, 1.23)	13m 9s
Run tests (macos-14, 1.23)	15m 56s
Lint: NeoGo / Lint	47s
Lint: interop / Lint	10s
Lint: scripts / Lint	17s
Lint: examples (engine) / Lint	23s
Lint: examples (events) / Lint	10s
Lint: examples (iterator) / Lint	11s
Lint: examples (nft-d) / Lint	13s
Lint: examples (nft-nd) / Lint	14s
Lint: examples (nft-nd-nns) / Lint	25s
Lint: examples (oracle) / Lint	11s
Lint: examples (runtime) / Lint	9s
Lint: examples (storage) / Lint	12s
Lint: examples (token) / Lint	11s
Lint: examples (timer) / Lint	10s
Lint: examples (zkp/cubic_circuit) / Lint	17s
Lint: examples (zkp/xor_compat) / Lint	9s
	1h 14m 29s

Provide feedback