Lts::reduce: vector --> queue/array
testing: add tests for Lts::deadlock/Shell::safety
Lts::deadlock: vector --> queue/array
Lts::visit: use queue<> instead of vector<>