litmus: add option -alloc <static|dynamic|before> an suppress -prealloc <bool>

The main novelty is the static allocation of test arrays.