Unfortunately, most options are not documented on the wabt side, so this is based on guesses respectively remains to do.