Add Laurel tests for Java machine integers as constrained types#656

tautschnig wants to merge 5 commits intomainstrata-org/Strata:mainfrom

tautschnig/laurel-teststrata-org/Strata:tautschnig/laurel-testCopy head branch name to clipboard