Revert "Raise assertion if trying to get a named unsat core"
Revert "Raise assertion if trying to get a named unsat core"

This reverts commit e09b63d222bb09d7a201e064e2db3c69a365a3be.

pysmt/pysmt,pysmt/pysmt