Make --default-dag-thresh apply to stringstreams
Fix error in tuple type-checking.
More complete fix for bug 484 (includes fixes for records and tuples).
Fix --check-models bug (closes #491).
Only put quantifier assertions in model equality engine if fullModel==true
Merge branch '1.0.x'

Conflicts:
	src/theory/quantifiers/theory_quantifiers.cpp