Bellman-Ford algo is coded (no negative cycle verification yet)