[ci] Add more TVLA tests

[nasahlpa]

Currently, CI only runs a basic AES test for TVLA. We should extend CI to also test other features. However, as I am not aware of which features are actually used and should be supported, could somebody (@vogelpi @vrozic @johannheyszl) please help me creating a list of testvectors we would like to have in CI? For example, as the --tttest-step-file feature (mentioned in #284 ) was not mentioned anywhere (documentation or getting started), I was not aware that this is something we would like to have.

I am happy to add all necessary TVLA features to CI and debug them if necessary.