Jan Liphardt

Results 2 issues of Jan Liphardt

On both Mac ARM silicon and Mac Intel, the software starts, consumes all available memory, and then crashes.

**Description** Per `ToDo` annotation in code, added trivial checks for return of proof and return of header. **Additional context** Could be good to have some kind of error handling in...