[enhancement] Add possibility to parameterize tests

[m-torhan]

What's hard to do? (limit 100 words)

When writing tests it is not possible to create different cases using test parameterization. It would be helpful to be able to write tests that reuse logic and differ in some values.

Current best alternative workaround (limit 100 words)

The user has to use for loop in test proc's next or create multiple test procs.

Your view of the "best case XLS enhancement" (limit 100 words)

The test parameters should be defined using attributes and passed to the test. The test is ran separately using each value.

1. Similar attributes as in rstest, params are passed to next

#[test_proc]
#[case(u32:0, u32:3, ...)]
#[case(u32:1, u32:4, ...)]
#[case(u32:2, u32:5, ...)]
proc PassthroughTest {
    ...

    next (state: (), param_a: u32, param_b: u32, ...) {
        ...
    }
}

2. As above, but params are used similarly as in parameterized procs (this would allow spawning parameterized procs using those test params)

#[test_proc]
#[case(u32:0, u32:3, ...)]
#[case(u32:1, u32:4, ...)]
#[case(u32:2, u32:5, ...)]
proc PassthroughTest<PARAM_A: u32, PARAM_B: u32, ...> {
    ...
}

[rw1nkler]

I think that passing random value to test proc proposed in #1528, may be considered as a special case of the parameterized proc.