core: prove contract notifications count is not restricted #1525

Job	Run time
Check code generated with 'go generate' is up-to-date	22s
CodeQL (go)	2m 54s
Check internal dependencies	16s
Coverage	7m 10s
Run tests (ubuntu-22.04, 1.22)	7m 23s
Run tests (windows-2022, 1.23)	21m 50s
Run tests (macos-12, 1.23)	12m 44s
Run tests (macos-14, 1.23)	16m 11s
Lint: NeoGo / Lint	44s
Lint: interop / Lint	10s
Lint: scripts / Lint	16s
Lint: examples (events) / Lint	9s
Lint: examples (engine) / Lint	10s
Lint: examples (iterator) / Lint	13s
Lint: examples (nft-d) / Lint	9s
Lint: examples (nft-nd) / Lint	8s
Lint: examples (oracle) / Lint	8s
Lint: examples (runtime) / Lint	11s
Lint: examples (nft-nd-nns) / Lint	9s
Lint: examples (storage) / Lint	10s
Lint: examples (timer) / Lint	8s
Lint: examples (token) / Lint	7s
Lint: examples (zkp/cubic_circuit) / Lint	22s
Lint: examples (zkp/xor_compat) / Lint	8s
	1h 12m 12s

Provide feedback