Rename "contract constants" into addresses

2 jobs for merge-contract in 4 minutes and 50 seconds
latest
Status Job ID Name Coverage
  Build
passed #255949951
coq:8.8

00:04:50

passed #255949952
coq:8.9

00:04:32