Adding unit tests for synthesize and cut

Adding unit tests for synthesize and cut functions and the appropriate
functionality to pass these tests. Adding skeletons of unit tests for
denature, complement and find functions.