🐛: Giving paths with the alias ~ isn't recognised as a valid directory

[jossmoff]

Polywit issue checks

• I have checked that this issue has not already been reported.

• I have confirmed this bug exists on the latest version of polywit.

• I have confirmed this bug exists on the main branch of polywit.

• I have added the relevant language tag if this bug is validator specific.

Reproducible Example

polywit kotlin ~/polywit/benchmarking/benchmarks/polywit-benchmarks/kotlin/jbmc-regression/exceptions2 --witness ~/polywit/benchmarking/benchmarks/witnesses/polywit-benchmarks/kotlin/exceptions2.yml/witness.graphml 

Results in:

polywit kotlin: error: argument benchmark: readable_dir:~/polywit/benchmarking/benchmarks/polywit-benchmarks/kotlin/jbmc-regression/exceptions2 is not a valid path

Issue Description

The path alias ~ is not accepted as giving a valid directory by os.path. Instead for most use cases ~ should be translated to $HOME which it is most commonly the alias for.

Expected Behavior

The following command should proceed to validation and not error:

polywit kotlin ~/polywit/benchmarking/benchmarks/polywit-benchmarks/kotlin/jbmc-regression/exceptions2 --witness ~/polywit/benchmarking/benchmarks/witnesses/polywit-benchmarks/kotlin/exceptions2.yml/witness.graphml

Installed Versions

1.0.0