[michocoq] Enforce concrete maps and big maps to be sorted by construction

Solves #28.
4 jobs for [email protected]_maps in 10 minutes and 15 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Build
passed #753072769
coq:8.10

00:04:30

passed #753072770
coq:8.11

00:10:14

passed #753072767
coq:8.8

00:04:20

passed #753072768
coq:8.9

00:04:24