Made case study compile again

- removed int := Z
- added GenerationProofs.v to build