Support padding instances to support arbitrary-sized R1CS instances

Prior versions of code imposed restrictions on the number of variables and inputs and expected higher-level applications to appropriately pad their constraint systems. This release eliminates those requirements.