moved printing of core data before symexec

this way you have something to look at when symbolic execution crashes