Refactor passing args to laser

[norhh]

currently it's pretty bad. No of args in mythril-cli is roughly same as no of args the class the SymExecWrapper takes. Passing args object might be cleaner.