We are working on fixing DbC support for .NetCore.
It will definitely be fixed for next release.