Invalid flags section info for Div

[0xVolosnikov]

eravm-spec/src/sem/Div.v

Lines 38 to 39 in 885b006

	- `EQ` is set if $result_{low} = 0$.
	- `GT` is set if `LT_OF` and `EQ` are cleared.

Actually both flags will be cleared in that case.