chore(core): extract assert functions in separate file

[stefann-01]

Improve readability by extracting assertion logic to a separate file (assert.gno).