Proofs- and cores-related segfault fixes (mainly a usability issue), thanks Christoph Sticksel for reporting these.