The code for the consensus rules should be in a separate library, and that library should be used by all implementations

I'm usually all for having a variety of open implementations, but we need to avoid an y chance of a hard fork that is accidentally introduced via an accidental change in consensus code. This happened in March 2013