Added DFS which sort of works, using third-party tests. Fixed big_integer slightly.