Add tests

Very incomplete testing framework.
Speed up constraints' construction with native PuLP functions