panic und kassert

* assertion_panic zugunsten eines format_panic aufgegeben, das
  Formatstrings ausgibt. kassert_print und kassert_exec_print können
  damit bei Assertions genutzt werden, um weitere Daten (wie bspw. die
  überprüften Werte) auszugeben.