Optimizing a portfolio mix is a difficult question. There are several methods for that, but at the moment Z3 just applies equal margin to all components.

Yes, you need to test with the same assets as in trading for the CBI to work.