Added options to seal_test_gui.