Violação 2PL corrigido. Adicionado verificação dos locks corretos nos comandos de Read e Write.

Adicionado lógica pra verificar se transação está quebrada e fazer o
cleanup da execução.

ToDo:
- Rodar tudo de uma vez só ao invés de chamar só o step. (basta rodar o
step até acabar).
- Detecção de deadlocks.
- Adicionar um file dialog pra abrir o arquivo em vez de deixar o nome
do arquivo hardcoded.