Yeah, this is a hard one, but IMO, if you do such things, you should expect programs to die horrible deaths because of it, and the blame falls on your code not the modules parameter checking code.

This is one of the important points of Design By Contract (and all contracts for that matter), you must abide by the provisions of the contract, and if you try to subvert the contract, there should be reprocusions.