Multiple improvements to validation model_from_basepair_stack_3prime

1) Passthrough of mrdna.segmentmodel arguments
2) Improved input validation
3) Stacks are removed unless stack[bp[stack]] == stack
4) Cleaner code for assigning ends of terminally-connected "segments"