tradestation options pro weizmann forex market cap