Revert "VeNum optimizations"

This reverts commit fc31bb5c03957dc66b5fe104dd88cc2dcecc3466.
Generating "warning: shared library text segment is not shareable",
review later

Change-Id: I64a7de895ca03faf5ad34082cb56063776f25d83