Lobsters: Finding bugs in Raft implementations