macos: some int tests enabled

Author: Adam Bezecny

.github/workflows/github-actions-rust-ci.yml

@@ -149,5 +149,6 @@ jobs:
           cargo test --test pull_input_segfault_test -- --show-output
           cargo test --test push_output_segfault_test -- --show-output
           cargo test --test recognizer_segfault_test -- --show-output
+          cargo test --test synthesizer_segfault_test -- --show-output
        #  cargo test --test integration_test -- --show-output
-       #  cargo test --test synthesizer_segfault_test -- --show-output
+