Enable all testing modes by default, update property mode testing, improve UX, allow for contracts to have starting balances, and fix coverage panic

Enable all testing modes by default, update property mode testing, improve UX, allow for contracts to have starting balances, and fix coverage panic #879