A SystemC-based Platform for Assertion-based Verification and Mutation Analysis in Systems Biology