Drop action mask

[codecov[bot]]

Codecov Report

Patch coverage is 100.00% of modified lines.

:exclamation: Current head 659dd73 differs from pull request most recent head 8d9e01a. Consider uploading reports for the commit 8d9e01a to get more accurate results

Files Changed	Coverage
gym_saturation/constants.py	ø
gym_saturation/wrappers/__init__.py	ø
gym_saturation/__init__.py	100.00%
gym_saturation/envs/iprover_env.py	100.00%
gym_saturation/envs/saturation_env.py	100.00%
gym_saturation/envs/vampire_env.py	100.00%
gym_saturation/proof_state.py	100.00%
gym_saturation/utils.py	100.00%
gym_saturation/vampire_wrapper.py	100.00%
gym_saturation/wrappers/ast2vec_wrapper.py	100.00%
... and 2 more

:loudspeaker: Thoughts on this report? Let us know!.