Improve DEX spec. #5929

Job	Run time
ci (lint)	20s
ci (lint)	21m 7s
ci (test)	11m 48s
ci (test)	11m 48s
ci (test-fuzz)	4s
ci (test-fuzz)	20m 55s
ci (integration tests coreum-modules)	23m 1s
ci (integration tests coreum-modules)	23m 1s
ci (integration tests coreum-stress)	2m 54s
ci (integration tests coreum-stress)	2m 54s
ci (integration tests coreum-ibc)	1s
ci (integration tests coreum-ibc)	27m 22s
ci (integration tests coreum-upgrade-v4.0.0)	1m 8s
ci (integration tests coreum-upgrade-v4.0.0)	49m 38s
	3h 16m 1s

Provide feedback