Merge branch 'ralf/inv_heap' into 'master'

heap_lang lifting: instantiate inv_heapG and inv_heap_inv

See merge request !429
4 jobs for master in 16 minutes and 34 seconds (queued for 1 second)
Status Name Job ID Coverage
  Build
passed build-coq.8.10.2 #70902
fp

00:08:45

passed build-coq.8.11.1 #70901
fp-timing

00:07:04

passed build-coq.8.11.dev #70900
fp

00:16:33

passed build-coq.8.9.1 #70903
fp

00:08:08