seal Solution
fix dot output to use optimal when it claims it does
update README.md to mention actors