Added testing/timing framework to Main; finished implementation of LockFreeBFS