Add weights.
Add weights.

Add weights to the commands to better balance the distribution of operations triggered through the 
QuickCheck test.
lasp-lang/lasp,lasp-lang/lasp,ergl/lasp,ergl/lasp,lasp-lang/lasp,ergl/lasp,ergl/lasp,lasp-lang/lasp