Merge pull request diffblue#4735 from romainbrenguier/clean-up/symex-…

…assign

Clean-up symex assignments

increase version number ahead of release 5.11

Merge pull request diffblue#2731 from diffblue/increase-version

increased version number in preparation for release 5.10

increased version number in preparation for release 5.9

release 5.8

use std::size_t for counters

make test more easily satisfiable

Release 5.5

disable LIBZIP

Release 5.3