hashing separated, several checks added

- added config options for circuit memory
- configuration consistency checking moved to separate method
- hashing separated to init-update-final with status checking
- other minor checks added