Make field order consistent with ctor initialisation order
Merge pull request #143 from jeroenk/order

Make field order consistent with ctor initialisation order
Add a note how to speed up SMT query solving
Merge pull request #145 from rsas/bv-note

Add a note how to speed up SMT query solving
Merge remote-tracking branch 'origin/master' into no-debug-build
use Release instead of RelWithDebInfo