Build system now supports unittest

This also uncovers a bug in biguintcore to pass the invariant