Move in-reset assertions into IF branch

[mikhailmoiseev]

Move in-reset assertions into IF branch

[mikhailmoiseev]

Logic synthesis tools do not support any code outside of main IF in always_ff block. It needs to move assertions into both branches.

Try to fix assertions after reset considered as additional state.