Add buggy version of congress and use implementation to prove it buggy

3 jobs for master in 7 minutes and 58 seconds (queued for 2 seconds)