Hi,
Thanks for sharing this issue.
The cause of the BadImageFormatException is almost always related to an x86 assembly being loaded into an x64 environment, or vice versa.
The rules around x86/x64 are slightly different for NCrunch. If you haven't already, I recommend having a read of
this troubleshooting page which can give you an in-depth description of how things are different and how you can solve problems such as this. Let me know if this page doesn't do the trick, and I'll try to help you further.
Cheers,
Remco